Scientific Report First name / Family name Ralf Hannemann-Tamás

Source URL: fellowship.ercim.eu

• Object-oriented programming
• Software engineering
• Scientific modeling
• Mathematical optimization
• Operations research
• Modelica
• Sensitivity analysis
• Reduction
• Computer programming
• Economy

7th European LS-DYNA Conference Adaptive Simulated Annealing for Global Optimization in LS-OPT Tushar Goel, Nielen Stander Livermore Software Technology Corporation,

Source URL: www.dynalook.com

arXiv:submitmath.NA] 7 DecMSS: MATLAB SOFTWARE FOR L-BFGS TRUST-REGION SUBPROBLEMS FOR LARGE-SCALE OPTIMIZATION JENNIFER B. ERWAY AND ROUMMEL F. MARCIA Abstract. A MATLAB implementation of the Mor´e-Sor

Source URL: users.wfu.edu

7th European LS-DYNA Conference A Topology Optimization Tool for LS-DYNA Users: LS-OPT/Topology Tushar Goel, Willem Roux, Nielen Stander Livermore Software Technology Corporation,

Source URL: www.dynalook.com

Optimization Methods and Software Vol. 00, No. 00, Month 200x, 1–15 RESEARCH ARTICLE Automatic robust convex programming Johan L¨ofberg∗

Source URL: users.isy.liu.se

JuMP: A MODELING LANGUAGE FOR MATHEMATICAL OPTIMIZATION IAIN DUNNING, JOEY HUCHETTE, MILES LUBIN ∗

Source URL: www.optimization-online.org

• Mathematical optimization
• Operations research
• Numerical software
• Computer algebra systems
• AMPL
• Algebraic modeling language
• Linear programming
• Gurobi
• Automatic differentiation
• Nl
• Pyomo
• SCIP

Dynamic Test Generation for Large Binary Programs by David Alexander Molnar A.B. (Harvard CollegeM.S. (University of California, Berkeley) 2006

Source URL: www.dmolnar.com

• Software testing
• Search algorithms
• Theoretical computer science
• Fuzz testing
• Hash function
• Algorithm
• Mathematical optimization
• Software bug
• Information retrieval
• Software engineering
• Mathematics

Introduction The Area ‘Vehicle Electrics, Electronics and Software’ develops novel approaches, methods, and processes for the model-based design, simulation and optimization, as well as system integration and validat

Source URL: www.v2c2.at

ECO-DNS: Expected Consistency Optimization for DNS Chen Chen Carnegie Mellon University

Source URL: www.netsec.ethz.ch

• Computing
• Internet
• Internet protocols
• Domain name system
• Cache
• Internet Standards
• DNS spoofing
• Name server
• Load balancing
• Content delivery network
• Time to live
• Comparison of DNS server software

Understanding data deduplication ratios

Source URL: snia.org

• Computing
• Software
• Data compression
• Computer data storage
• Data deduplication
• Data management
• Backup software
• Backup
• Capacity optimization
• Storage efficiency
• Single-instance storage
• Deduplication